00100	::X ,,X ..X ,,X #UN:X --X #PUT X #GET X
00200	
00300	<NOUN>:X [#PUT#X <EMB>:A] → :Q :A #GET#Q <FOO>:X ,
00400	
00500	
00600	[<PEEPHOLE→∞> | :X]* → ::X 
00700	[<PEEPHOLE :L ::SOURCE → :X ::SOURCE :Y + ::SOURCE]* → ::X ::Y
00800	
00900	<EXPRESSION → :X>
01000	
01100	RULES OF EXPRESSION =
01200	
01300		IF <EXPRESSION→:X> THEN <EXPRESSION→:Y> ELSE <EXPRESSION→:Z>
01400		→ (COND (:X :Y) (T :Z)) ,
01500	
01600		(COND (:X :Y)(T :Z)) →
01700		IF <EXPRESSION→:X> THEN <EXPRESSION→:Y> ELSE <EXPRESSION→:Z> ,
01800	
01900		(COND (:X :Y)(T :Z)) →
02000		IF <INVERSE EXPRESSION :X> THEN <INVERSE EXPRESSION :Y>
02100			ELSE <INVERSE EXPRESSION :Z> ,
02200	
02300		IF <EXPRESSION INTEGER ::SOURCE → :X> THEN
02400		IF <EXPRESSION ::SOURCE INTEGER → :X> THEN
02500	
02600		IF <INVERSE EXPRESSION :X → ::SINK INTEGER> THEN 
02700